Inconsistent conditional result types with locals templatization